compact metric space is bounded